Словарь по логике - абсурд

в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно, как, напр., в высказывании "Тщеславие существует и тщеславия нет". Абсурдным считается также выражение, которое внешне не является противоречивым, но из которого все-таки может быть выведено противоречие. Скажем, в высказывании "Александр Македонский был сыном бездетных родителей" есть только утверждение, но нет отрицания и, соответственно, нет явного противоречия. Но ясно, что из этого высказывания вытекает очевидное противоречие: "Некоторые родители имеют детей и вместе с тем не имеют их". А. отличается от бессмысленного: бессмысленное не истинно и не ложно, его не с чем сопоставить в действительности, чтобы решить, соответствует оно ей или нет. Абсурдное высказывание осмысленно и в силу своей противоречивости является ложным. Напр., высказывание "Если идет дождь, то трамвай" бессмысленно, а высказывание "Яблоко было разрезано на три неравные половины" не бессмысленно, а абсурдно.

Логический закон непротиворечия говорит о недопустимости одновременно утверждения и отрицания. Абсурдное высказывание представляет собой прямое нарушение этого закона.

В логике рассматриваются доказательства путем "приведения к А.": если из некоторого положения выводится противоречие, то это положение является ложным (см.: Косвенное доказательство).

В обычном языке однозначности в понимания слова "А." нет. Абсурдным называется и внутренне противоречивое выражение, и бессмысленное, а иногда и все нелепо преувеличенное.